Graph-based Logic and Sketches I: The General Framework

نویسنده

  • Atish Bagchi
چکیده

Sketches as a method of specification of mathematical structures are an alternative to the string-based specification employed in mathematical logic. Sketch theory has been criticized as being lacunary when contrasted with logic because it apparently has nothing corresponding to proof theory. This article describes an approach to associating a proof-theoretic structure with a sketch. It is written in an innovative style using some of the ideas for presenting mathematics outlined in [Bagchi and Wells, 1993b].

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalized Sketches: A Universal Logic for Diagrammatic Modeling in Software Engineering∗

Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities wit...

متن کامل

Graph-based Logic and Sketches

Graph-based Logic and Sketches Preliminary version: Please refer others to this website instead of giving them copies of this version.

متن کامل

A Diagrammatic Logic for Object-Oriented Visual Modeling

Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a careful motivation and justification of the applicability of...

متن کامل

Contents 1 Introduction and motivating discussion 1 2 Graphs and Diagrams 4

Generalized sketches is a graph-based specification format that borrows its main ideas from both categorical and first-order logic, and adapts them to software engineering needs. In the engineering jargon, it is a modeling language design pattern that combines mathematical rigor and appealing graphical appearance. The paper presents a revised framework of basic concepts to make similarities wit...

متن کامل

Frame Inform System Formalizing Graphical Schemas for Conceptual Modeling: Sketch-based Logic Vs.heuristic Pictures Formalization of Graphical Schemas: General Sketch-based Logic vs. Heuristic Pictures

In the paper a new approach to semantic modeling and view integration is proposed. The underlying data model is graph-based yet completely formalized so that graphical schemas themselves are precise speciications suitable for implementation. The formalism is a kind of graph-object-based generalization of the relational data model: analytical assertions about elements (values) are replaced by sy...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994